be22160d7c7f7b0a6f410ebe31ab84a8fa016d28,src/org/gavrog/joss/pgraphs/basic/PeriodicGraph.java,PeriodicGraph,invariant,#,1805

Before Change


                                    throw new Break();
                                } else {
                                    if (DEBUG) {
                                        System.out.print(" is equal.");
                                    }
                                }
                            }

After Change


            bestStart = b.get(0).source();
            if (DEBUG) {
            	System.out.println("Best basis so far: " + bestBasis);
            	System.out.println("Best traversal so far:");
            	for (EdgeCmd e: bestScript)
            		System.out.println("  " + e);
            	System.out.println();